A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• High-level programming languages
• Type theory
• Programming languages
• Program analysis
• Java virtual machine
• Type system
• Go
• Java

Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

Source URL: sunsite.informatik.rwth-aachen.de

JaBEE - Framework for Object-oriented Java Bytecode Compilation and Execution on Graphics Processor Units Wojciech Zaremba Yuan Lin

Source URL: cs.nyu.edu

Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur APPLICATION REQUIREMENTS AND EFFICIENCY OF EMBEDDED JAVA BYTECODE MULTI-CORES JTRES 2010

Source URL: d3s.mff.cuni.cz

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: www.dcs.bbk.ac.uk

• Theoretical computer science
• Computing
• Software engineering
• Logic in computer science
• Automated theorem proving
• Static program analysis
• Termination analysis
• Rewriting
• KeY
• Automated reasoning
• Bytecode
• Christoph Walther

Designing a verifying compiler: Lessons learned from developing Whiley

Source URL: homepages.ecs.vuw.ac.nz

• Software engineering
• Computer programming
• Computing
• Data types
• Functional languages
• Type theory
• Procedural programming languages
• Whiley
• C++
• Const
• Recursion
• Java bytecode

DIVILAR: Diversifying Intermediate Language for Anti-Repackaging on Android Platform Wu Zhou ∗ , Zhi Wang † , Yajin Zhou ∗ , Xuxian Jiang ∗ North Carolina State University † Florida State University wzhou2@ncsu

Source URL: yajin.org

• Computing
• Software
• Java virtual machine
• Android
• Cross-platform software
• Smartphones
• Computing platforms
• Dalvik
• Bytecode
• Android Runtime
• Java bytecode
• Java

Dynamically Loaded Classes as Shared Libraries: an Approach to Improving Virtual Machine Scalability Bernard Wong University of Waterloo 200 University Avenue W. Waterloo, Ontario N2L 3G1, Canada

Source URL: cs.uwaterloo.ca

• Computing
• Java platform
• Java virtual machine
• Cross-platform software
• Concurrent programming languages
• Object-oriented programming languages
• Java
• Bytecode
• Library
• Dalvik
• Pointer
• Memory footprint

MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering Waseda University Okubo 3-4-1, Shinjuku-ku, Tokyo, Japan

Source URL: www.shudo.net

• Computing
• Software
• Java platform
• Cross-platform software
• Compiler construction
• Inter-process communication
• Programming language implementation
• Java virtual machine
• Java
• Just-in-time compilation
• Distributed object
• Bytecode

Asynchronous Migration of Execution Context in Java Virtual Machines Kazuyuki Shudo∗, Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, Japan

Source URL: www.shudo.net

• Computing
• Java platform
• Computing platforms
• Cross-platform software
• Java virtual machine
• Sun Microsystems
• Just-in-time compilation
• Green threads
• Java
• HotSpot
• Bytecode
• Interpreter